Verification and Evaluation of Collision Avoidance Algorithms

نویسندگان

  • Juanchen Li
  • Phil Ammirato
  • Saad Biaz
چکیده

Unmanned aerial vehicles (UAVs) are being utilized in a growing variety of military and civil situations. One major issue in situations that require multiple UAVs to share the same air space is collision avoidance. A successful collision avoidance system should allow a UAV to prevent all collisions without greatly impacting flight path efficiency. This study reviews literature centered on collision avoidance, and selects a variety of avoidance algorithms for verification and evaluation. Each of these approaches were implemented and simulated on a common infrastructure. This process revealed the strengths and weaknesses of each individual approach as well as their overall success and efficiency. Among the algorithms chosen for evaluation, an inverse proportional navigation approach to collision avoidance appeared to be the most effective approach, resulting in the least collisions, and greatest path efficiency.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Autonomous Collision Avoidance Tradespace Analysis for High-Speed Vessels

In this work, a tradespace was introduced allowing a weighted combination of a course change and speed change when deviating from the preferred velocity vector in protocol-constrained autonomous collision avoidance algorithms. A novel iterative geometry testing technique was introduced and key evaluation metrics were studied including the introduction of a protocol-compliance metric for collisi...

متن کامل

Optimization-Based Safety Analysis of Obstacle Avoidance Systems for Unmanned Aerial Vehicles

The integration of Unmanned Aerial Vehicles (UAVs) requires new methods to certify collision avoidance systems. This paper presents a safety clearance process for obstacle avoidance systems where worst case analysis is performed using optimization based approaches under all possible parameter variations. The clearance criterion for the UAV obstacle avoidance system is defined as the minimum dis...

متن کامل

Evaluation of automotive forward collision warning and collision avoidance algorithms

Collision warning/collision avoidance (CW/CA) systems target a major crash type and their development is a major thrust of the Intelligent Vehicle Initiative. They are a natural extension of adaptive cruise control systems already available on many car models. Many CW/CA algorithms have recently been proposed but the existing literature mainly focuses on algorithm development. Evaluations of th...

متن کامل

Formal Verification of Curved Flight Collision Avoidance Maneuvers

Aircraft collision avoidance maneuvers are important and complex applications. Curved flight exhibits nontrivial continuous behavior. In combination with the control choices during air traffic maneuvers, this yields hybrid systems with challenging interactions of discrete and continuous dynamics. As a case study illustrating the use of a new proof assistant for a logic for nonlinear hybrid syst...

متن کامل

Verification of Collision Avoidance Systems Using Reachability Analysis

This paper presents a method for formal verification of automotive collision avoidance systems. Using viability theory and reachability analysis, we define when the system should intervene, i.e. the unsafe set, and when the system should not intervene, i.e. the safe set. Given these sets, we formulate the problem of verifying that a given system does not make incorrect decisions as an optimizat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014